Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
121	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
122	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database
123	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
124	Project Report for P415/515 Specication and Verication of a File System: A Successful Failure Add to Reading List Source URL: michaeldadams.org Language: English - Date: 2012-07-27 19:09:55 Computer programming Software engineering Theoretical computer science Mathematics B-tree Mathematical logic Linked list Algorithm Mathematical induction Recursion Trie
125	CrossMark_Color_Stacked_p Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-10-29 00:52:29 Mathematics Applied mathematics Logic Constraint programming Operations research Algorithm Mathematical logic Theoretical computer science Simulated annealing Local search Mathematical optimization Compactness theorem
126	Domain-specific languages in software development and the relation to partial evaluation Niels H. Christensen Preface Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:08 Software engineering Computing Theoretical computer science Logic in computer science Functional languages Programming paradigms Domain-specific language Denotational semantics Programming language Erlang Functional programming DSL
127	Look-back Techniques for ASP Programs with Aggregates Wolfgang Faber1 , Nicola Leone1 , Marco Maratea1,2 , and Francesco Ricca1 1 Department of Mathematics, University of Calabria, 87036 Rende (CS), Italy Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:11 Mathematics Logic Mathematical logic Logic programming Model theory Stable model semantics Modal logic FO Binomial coefficient
128	Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 08:22:42 Mathematics Multiset Set Path ordering Theoretical computer science Computing
129	ERRATA AND MISPRINTS FOR BOOK “DIFFEOLOGY” PATRICK IGLESIAS-ZEMMOUR ref. http://math.huji.ac.il/~piz/documents/DBlog-Errata.pdf Misprints and Errata in Articles. Add to Reading List Source URL: math.huji.ac.il Language: English - Date: 2014-09-22 05:45:38 Measure theory Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol